621. Program analysis and compilation, theory and practice :
Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
Classification :
QA76
.
76
.
V47
P745
2007
622. Programming languages
Author: Francisco Heron de Carvalho Junior, Luis Soares Barbosa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
B73
2012eb
623. Programming languages :
Author: André Rauber Du Bois, Phil Trinder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
B73
2013
624. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
625. Programming languages and systems :
Author: Gilles Barthe (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
6
.
E97
2011
626. Programming languages and systems :
Author: Sukyoung Ryu (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
Classification :
QA76
.
7
627. Programming languages and systems :
Author: G. Ramalingam (ed.).
Library: Library of Faculty of World Studies University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Formale Spezifikationstechnik,Java ,NebenlaufigkeitBisimulationKongressBangalore <2008>,Programmiersprache,Programmverifikation,Congresses.,Kongress,Kongress,Kongress,Kongress,Kongress,Bisimulation,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>
Classification :
QA76
.
7
.
A65
2008
628. Programming languages and systems
Author: Matthias Felleisen, Philippa Gardner (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA76
.
6
.
E97
2013
629. Progress in computing, analytics and networking :
Author: Prasant Kumar Pattnaik, Siddharth Swarup Rautaray, Himansu Das, Janmenjoy Nayak, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing, Congresses.,Computer networks, Congresses.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
TK5105
.
5
630. Progress in cryptology - INDOCRYPT 2018 :
Author: Debrup Chakraborty, Tetsu Iwata (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cryptography, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science),Data mining.,Data structures (Computer science),Software engineering.
Classification :
QA76
.
9
.
D335
P76
2018
631. Provable security :
Author: Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
Classification :
QA76
.
9
.
A25
632. Quality of protection :
Author: edited by Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Quality control, Congresses.,Computer networks-- Standards, Congresses.,Computer security-- Quality control, Congresses.,Computer security-- Standards, Congresses.,Computer networks-- Quality control.,Computer networks-- Quality control.,Computer networks-- Standards.,Computer networks-- Standards.,Computer security-- Quality control.,Computer security-- Standards.,Computer security-- Standards.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,Informatique.
Classification :
QA76
.
9
.
A25
Q35
2006eb
633. Quality of software architecture
Author: / Steffen Becker, Frantisek Plasil, Ralf Reussner (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Quality control--Congresses,Software architecture--Reliability--Congresses,Component software--Reliability--Congresses,Software architecture--Congresses
634. RFID: Security and privacy
Author: / Ari Juels, Christof Paar (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Radio frequency identification systems--Congresses,Data encryption (Computer science)--Congresses,Computer networks--Security measures--Congresses
Classification :
TK6570
.
I34R45
2012
635. RFID: Security and privacy
Author: Ari Juels, Christof Paar (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures, Congresses,Data encryption (Computer science), Congresses,Radio frequency identification systems, Congresses
Classification :
TK6570
.
I34
R45
2011eb
636. RIMS Symposia on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
Author: edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
220
637. RIMS Symposia on Software Science and Engineering, Kyoto, 1982 : proceedings
Author: edited by Eiichi Goto...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer architecture,Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
147
638. RIMS symposia on software on science aand engineering
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Electronic digital computers-m Programming- Congresscs ► Computers- Congresses
Classification :
001
R432
639. RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan
Author: edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
Classification :
QA
76
.
L4
v
.
220
640. RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings
Author: edited by Eiichi Goto ... )et al.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computer architecture,Congresses ، Computer software
Classification :
QA
76
.
L4
v
.
147
